1
逻辑之基:实数比较事实与不等式性质推导
MATH1001CA-PEP-CNLesson 2
00:00
ab > 0 ⇔ a > bba
Сравнение величин действительных чисел является основой всей математической логики. На числовой прямой каждому действительному числу соответствует точка. Наблюдая за положением точки, мы можем интуитивно ощутить «неравенство».

Основные факты:
  • Если $a - b$ — положительное число, то $a > b$;
  • Если $a - b = 0$, то $a = b$;
  • Если $a - b$ — отрицательное число, то $a < b$.
Ноль — это граница между положительными и отрицательными числами, он служит ориентиром для сравнения величины действительных чисел. Используя метод разности, мы можем преобразовать сравнение сложных алгебраических выражений в определение знака их разности — это самый базовый способ доказательства неравенств.
Ключевые свойства неравенств:
1. Транзитивность: $a > b, b > c \Rightarrow a > c$
2. Свойство сложения: $a > b \iff a + c > b + c$
3. Свойство умножения: $c > 0 \Rightarrow ac > bc$; $c < 0 \Rightarrow ac < bc$
$$a > b \iff a - b > 0$$